extern int GK_add(int a, int b);
extern int GK_sub(int a, int b);
extern int GK_mul(int a, int b);
extern int GK_div(int a, int b);